rotating plane vector

[数] 平面旋转向量